Issue610-module-alias-with.agda:29,11-30
.(M.out _) !=< ⊥ of type Set
when checking that the expression subst (λ x → x) q _ has type ⊥
